價格:免費
更新日期:2016-11-30
檔案大小:1.5M
目前版本:1.0
版本需求:Android 3.0 以上版本
官方網站:http://www.411audio.com
Email:johnmichaelkuczynski@gmail.com
聯絡地址:22 Langdon St. L1 Madison Wisconsin 53703 USA
A clear, rigorous and thorough exposition of:
*The Propositional Calculus
*The Predicate Calculus
*Set Theory
*The different kinds of continuity and their respective natures
*The different kinds of number: cardinal, ordinal, rational, real, complex, hyper-complex, and transfinite
*The set-theoretic foundations of cardinal arithmetic and the various generalizations thereof
*The nature of formal languages
*Diagonalization and Incompleteness
*The nature of logic and of formal truth, and
*A proof of the incompleteness of any given system of deduction.